<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="tutorial.css">
<TITLE>
Implementing Constraints
</TITLE>
</HEAD>
<BODY >
<A HREF="tutorial091.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="tutorial107.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H1 CLASS="chapter"><A NAME="htoc196">Chapter&nbsp;14</A>&nbsp;&nbsp;Implementing Constraints</H1>
<A NAME="chapimpl"></A>

<BR>
<BR>
This chapter describes how to use ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP>'s advanced control
<A NAME="@default353"></A>
facilities for implementing constraints.
Note that the Generalised Propagation library lib(propia) and
the Constraint Handling Rules library lib(ech) provide other,
higher-level ways to implement constraints. Those are more
suited for prototyping, while this chapter introduces those low-level
primitives that are actually used in the implementation of the various
ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP> constraint solvers.<BR>
<BR>
<UL>
<LI><A HREF="tutorial099.html">What is a Constraint in Logic Programming?</A>
<LI><A HREF="tutorial100.html">Background: Constraint Satisfaction Problems</A>
<LI><A HREF="tutorial101.html">Constraint Behaviours</A>
<UL>
<LI><A HREF="tutorial101.html#toc100">Consistency Check</A>
<LI><A HREF="tutorial101.html#toc101">Forward Checking</A>
<LI><A HREF="tutorial101.html#toc102">Domain (Arc) Consistency</A>
<LI><A HREF="tutorial101.html#toc103">Bounds Consistency</A>
</UL>
<LI><A HREF="tutorial102.html">Programming Basic Behaviours</A>
<UL>
<LI><A HREF="tutorial102.html#toc104">Consistency Check</A>
<LI><A HREF="tutorial102.html#toc105">Forward Checking</A>
</UL>
<LI><A HREF="tutorial103.html">Basic Suspension Facility</A>
<LI><A HREF="tutorial104.html">A Bounds-Consistent IC constraint</A>
<LI><A HREF="tutorial105.html">Using a Demon</A>
<LI><A HREF="tutorial106.html">Exercises</A>
</UL>

<BR>
<BR>
<HR>
<A HREF="tutorial091.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="tutorial107.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
